/**
* @author AlbertDarren
* @contact 2563491540@qq.com
*/
#include <cstdio>

using namespace std;

int main_17()
{
    int year,month,day,hour,minute,second;
    scanf("%d-%d-%d %d:%d:%d",&year,&month,&day,&hour,&minute,&second);
    printf("%d\n%d\n%d\n%d\n%d\n%d\n",year,month,day,hour,minute,second);
	return 0;
}
